Xuandong Li: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (164)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Effective testing of Android apps using extended IFML models

Pan, Minxue, Lu, Yifei, Pei, Yu, Zhang, Tian, Zhai, Juan, Li, Xuandong

Журнал:

Journal of Systems and Software

Рік:

2020

Мова:

english

Файл:

PDF, 1.34 MB

english, 2020

[IEEE 2012 IEEE Fifth International Conference on Advanced Computational Intelligence (ICACI) - Nanjing, China (2012.10.18-2012.10.20)] 2012 IEEE Fifth International Conference on Advanced Computational Intelligence (ICACI) - Path following of the rope-drive snake-like robot

Huang, Chengzu, Gao, Junyao, Wang, Cheng, Su, Xuandong, Liu, Huaxin, Li, Xin, Liu, Yi, Xu, Zhe

Рік:

2012

Мова:

english

Файл:

PDF, 2.26 MB

english, 2012

[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

Ye, Tao, Zhang, Lingming, Wang, Linzhang, Li, Xuandong

Рік:

2016

Мова:

english

Файл:

PDF, 222 KB

english, 2016

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Lisbon (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Change-Based Test Script Maintenance for Android Apps

Chang, Nana, Wang, Linzhang, Pei, Yu, Mondal, Subrota K., Li, Xuandong

Рік:

2018

Мова:

english

Файл:

PDF, 248 KB

english, 2018

Breast cancer genes don't have to mean cancer

Zhang, Fengling, Bu, Lei, Wang, Linzhang, Zhao, Jianhua, Chen, Xin, Zhang, Tian, Li, Xuandong

Журнал:

New Scientist

Рік:

2008

Мова:

english

Файл:

PDF, 100 KB

english, 2008

[IEEE 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96 - Kauai, HI, USA (18-21 Nov. 1996)] Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96 - A plant-based formal approach to development of hybrid process control systems

Yang Zhenyu,, Chen Zongji,, Li Xuandong,

Рік:

1996

Мова:

english

Файл:

PDF, 651 KB

english, 1996

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Improve Model Checking Efficiency Using Specific Knowledge about the System

Zhao, Jianhua, Lei, Bin, Li, Xuandong, Zheng, Guoliang

Рік:

2006

Мова:

english

Файл:

PDF, 361 KB

english, 2006

One-Pot Synthesis of Fe3O4@PS@P(AEMH-FITC) Magnetic Fluorescent Nanocomposites for Bimodal Imaging

Wang, Xuandong, Liu, Huiyu, Jun, Ren, Fu, Changhui, Li, Linlin, Liu, Tianlong, Tang, Fangqiong, Meng, Xianwei

Журнал:

Journal of Nanoscience and Nanotechnology

Рік:

2016

Мова:

english

Файл:

PDF, 650 KB

english, 2016

[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - BovInspector: automatic inspection and repair of buffer overflow vulnerabilities

Gao, Fengjuan, Wang, Linzhang, Li, Xuandong

Рік:

2016

Мова:

english

Файл:

PDF, 443 KB

english, 2016

A fully enclosed, compact standard lightning impulse generator for testing ultra-high-voltage-class gas-insulated switchgears with high capacitance

Wen, Tao, Zhang, Qiaogen, Zhang, Lingli, Zhao, Junping, Liu, Xuandong, Li, Xiaoang, Guo, Can, You, Haoyang, Chen, Weijiang, Yin, Yu, Shi, Weidong

Журнал:

Review of Scientific Instruments

Рік:

2016

Мова:

english

Файл:

PDF, 4.80 MB

english, 2016

[IEEE 2017 1st International Conference on Electrical Materials and Power Equipment (ICEMPE) - Xi'an, China (2017.5.14-2017.5.17)] 2017 1st International Conference on Electrical Materials and Power Equipment (ICEMPE) - Wide-range high voltage input auxiliary power supply for modular multi-level converters

Kong, Dezhi, Liu, Xuandong, Ying, Zhixuan, Sun, Wenjian, Li, Geqi, Wang, Ks, Peng, Jing, Zhang, Qiaogen

Рік:

2017

Мова:

english

Файл:

PDF, 500 KB

english, 2017

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing

Ji, Ruihua, Li, Zhong, Chen, Shouyu, Pan, Minxue, Zhang, Tian, Ali, Shaukat, Yue, Tao, Li, Xuandong

Рік:

2018

Мова:

english

Файл:

PDF, 966 KB

english, 2018

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-Driven Systems

Pan, Minxue, Chen, Shouyu, Pei, Yu, Zhang, Tian, Li, Xuandong

Рік:

2019

Мова:

english

Файл:

PDF, 331 KB

english, 2019

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Energy Distribution Matters in Greybox Fuzzing

Situ, Lingyun, Wang, Linzhang, Li, Xuandong, Guan, Le, Zhang, Wenhui, Liu, Peng

Рік:

2019

Мова:

english

Файл:

PDF, 103 KB

english, 2019

Enhancing example-based code search with functional semantics

Chen, Zhengzhao, Jiang, Renhe, Zhang, Zejun, Pei, Yu, Pan, Minxue, Zhang, Tian, Li, Xuandong

Журнал:

Journal of Systems and Software

Рік:

2020

Файл:

PDF, 1.73 MB

2020

[IEEE 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Grenoble, France (2020.3.9-2020.3.13)] 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language

Zhang, Shiyu, Zhai, Juan, Bu, Lei, Chen, Mingsong, Wang, Linzhang, Li, Xuandong

Рік:

2020

Файл:

PDF, 311 KB

2020

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming

Xuandong Li, Sumit Jha Aanand, Lei Bu

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 316 KB

english, 2007

State Based Robustness Testing for Components

Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2010

Мова:

english

Файл:

PDF, 534 KB

english, 2010

Efficient verification of a class of time Petri nets using linear programming

Xuandong Li, Johan Lilius

Журнал:

Information Processing Letters

Рік:

2001

Мова:

english

Файл:

PDF, 85 KB

english, 2001

The electro-optical effects of liquid crystallines side-chain polysiloxane

Li Kaiyang, Zhang Shaopin, Yang Tong, Yang Xuandong, Luo Zhaohui, Zhang Xianliang

Журнал:

Wuhan University Journal of Natural Sciences

Рік:

1997

Мова:

english

Файл:

PDF, 253 KB

english, 1997

Verifying time Petri nets by linear programming

Xuandong Li

Журнал:

Journal of Computer Science and Technology

Рік:

2001

Мова:

english

Файл:

PDF, 515 KB

english, 2001

Checking MSC specifications for timing inconsistency

Xuandong Li, Wenkai Tan, Guoliang Zheng

Журнал:

Journal of Computer Science and Technology

Рік:

2002

Мова:

english

Файл:

PDF, 643 KB

english, 2002

Duration-constrained regular expressions

Li Xuandong, Zhao Jianhua, Zheng Tao, Li Yong, Zheng Guoliang

Журнал:

Formal Aspects of Computing

Рік:

2004

Мова:

english

Файл:

PDF, 120 KB

english, 2004

Path-oriented bounded reachability analysis of composed linear hybrid systems

Lei Bu, Xuandong Li

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2011

Мова:

english

Файл:

PDF, 537 KB

english, 2011

A model-driven development framework for enterprise Web services

Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, JianHua Zhao, Xuandong Li

Журнал:

Information Systems Frontiers

Рік:

2007

Мова:

english

Файл:

PDF, 498 KB

english, 2007

An MDE-based method for bridging different design notations

Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li

Журнал:

Innovations in Systems and Software Engineering

Рік:

2008

Мова:

english

Файл:

PDF, 1.05 MB

english, 2008

Deriving Available Behavior All Out from Incompatible Component Compositions

Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 339 KB

english, 2006

A quadratic-time DBM-based successor algorithm for checking timed automata

Jianhua Zhao, Xuandong Li, Guoliang Zheng

Журнал:

Information Processing Letters

Рік:

2005

Мова:

english

Файл:

PDF, 86 KB

english, 2005

Robustness testing for software components

Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz

Журнал:

Science of Computer Programming

Рік:

2010

Мова:

english

Файл:

PDF, 801 KB

english, 2010

Timing analysis of scenario-based specifications using linear programming

Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao

Журнал:

Software Testing, Verification and Reliability

Рік:

2012

Мова:

english

Файл:

PDF, 1.90 MB

english, 2012

Timing analysis of scenario-based specifications using linear programming

Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao

Журнал:

Software Testing, Verification and Reliability

Рік:

2012

Мова:

english

Файл:

PDF, 2.13 MB

english, 2012

TiO2 ceramic films prepared by micro-plasma oxidation method for photodegradation of rhodamine B

Wu Xiaohong, Jiang Zhaohua, Liu Huiling, Li Xuandong, Hu Xinguo

Журнал:

Materials Chemistry and Physics

Рік:

2003

Мова:

english

Файл:

PDF, 295 KB

english, 2003

Positive loop-closed automata: a decidable class of hybrid systems

Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng

Журнал:

The Journal of Logic and Algebraic Programming

Рік:

2002

Мова:

english

Файл:

PDF, 324 KB

english, 2002

Formation of Ag nanoparticles on water-soluble anatase TiO2 clusters and the activation of photocatalysis

Jingyu Wang, Hongtao Zhao, Xinrong Liu, Xuandong Li, Ping Xu, Xijiang Han

Журнал:

Catalysis Communications

Рік:

2009

Мова:

english

Файл:

PDF, 476 KB

english, 2009

Prevalence and clinical significance of Cryptosporidium infection in patients with hepatitis B virus-associated acute-on-chronic liver failure

Zhijian Yu, Fawu Li, Zhongming Zeng, Zheng Huang, Zhang Fan, Yang Jin, Wensheng Luo, Xuandong Xiang, Qiwen Deng

Журнал:

International Journal of Infectious Diseases

Рік:

2011

Мова:

english

Файл:

PDF, 197 KB

english, 2011

Timing analysis of MSC specifications with asynchronous concatenation

Minxue Pan, Xuandong Li

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2012

Мова:

english

Файл:

PDF, 1.14 MB

english, 2012

Comparison of Mastoscopic and Conventional Axillary Lymph Node Dissection in Breast Cancer: Long-term Results From a Randomized, Multicenter Trial

Chengyu Luo, Wenbin Guo, Jie Yang, Qiuru Sun, Wei Wei, Suhua Wu, Shubing Fang, Qingliang Zeng, Zhensheng Zhao, Fanjie Meng, Xuandong Huang, Xianlan Zhang, Ruihua Li, Xiufeng Ma, Chaoying Luo, Yun Yang

Журнал:

Mayo Clinic Proceedings

Рік:

2012

Мова:

english

Файл:

PDF, 381 KB

english, 2012

Loop reduction techniques for reachability analysis of linear hybrid automata

MinXue Pan, You Li, Lei Bu, XuanDong Li

Журнал:

SCIENCE CHINA Information Sciences

Рік:

2012

Мова:

english

Файл:

PDF, 382 KB

english, 2012

[IEEE 11th Asia-Pacific Software Engineering Conference - Busan, Korea (30-03 Nov. 2004)] 11th Asia-Pacific Software Engineering Conference - Generating Test Cases from UML Activity Diagram based on Gray-Box Method

Wang Linzhang,, Yuan Jiesong,, Yu Xiaofeng,, Hu Jun,, Li Xuandong,, Zheng Guoliang,

Рік:

2004

Мова:

english

Файл:

PDF, 230 KB

english, 2004

A declarative approach for Java code instrumentation

Zhang, Tian, Zheng, Xiaomei, Zhang, Yan, Zhao, Jianhua, Li, Xuandong

Журнал:

Software Quality Journal

Рік:

2015

Мова:

english

Файл:

PDF, 2.68 MB

english, 2015

Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata

Zhang, Fengling, Bu, Lei, Wang, Linzhang, Zhao, Jianhua, Chen, Xin, Zhang, Tian, Li, Xuandong

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2013

Мова:

english

Файл:

PDF, 794 KB

english, 2013

Silsesquioxane nanohybrids as sun protection factor ingredients and films of greenhouse

Wang, Di, Chen, Xiaodong, Li, Xuandong, Liu, Yu, Hu, Lijiang

Журнал:

Journal of Biotechnology

Рік:

2008

Мова:

english

Файл:

PDF, 68 KB

english, 2008

SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata

Xie, Dingbao, Bu, Lei, Zhao, Jianhua, Li, Xuandong

Журнал:

Formal Methods in System Design

Рік:

2014

Мова:

english

Файл:

PDF, 598 KB

english, 2014

[IEEE 2010 2nd International Conference on Software Technology and Engineering (ICSTE 2010) - San Juan, PR, USA (2010.10.3-2010.10.5)] 2010 2nd International Conference on Software Technology and Engineering - Auto-generation and redundancy reduction of test cases for reactive systems

Donghuo Chen,, Xuandong Li,, Shizhong Zhao,

Рік:

2010

Мова:

english

Файл:

PDF, 843 KB

english, 2010

Study on Resistance and Energy Deposition of Spark Channel Under the Oscillatory Current Pulse

Li, Xiaoang, Liu, Xuandong, Zeng, Fanhui, Yang, Hao, Zhang, Qiaogen

Журнал:

IEEE Transactions on Plasma Science

Рік:

2014

Мова:

english

Файл:

PDF, 1.76 MB

english, 2014

A Multi-Gap Multi-Channel Gas Switch for the Linear Transformer Driver

Xuandong, Liu, Tianxue, Liang, Fengju, Sun, Xiaofeng, Jiang, Jia, Li, Fu, Sun, Aici, Qiu

Журнал:

Plasma Science and Technology

Рік:

2009

Мова:

english

Файл:

PDF, 3.67 MB

english, 2009

[IEEE Comput. Soc PNPM'99. 8th International Workshop on Petri Nets and Performance Models - Zaragoza, Spain (8-10 Sept. 1999)] Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) - Checking time Petri nets for linear duration properties

Xuandong Li,, Lilius, J.

Рік:

1999

Мова:

english

Файл:

PDF, 133 KB

english, 1999

[IEEE 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06) - Hong Kong, China (2006.10.16-2006.10.16)] 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06) - A Model Driven Development Framework for Enterprise Web Services

Yu, Xiaofeng, Hu, Jun, Zhang, Yan, Zhang, Tian, Wang, Linzhang, Zhao, Jianhua, Li, Xuandong

Рік:

2006

Мова:

english

Файл:

PDF, 170 KB

english, 2006

[IEEE Reliability Improvement Companion - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion - An Instrumentation Tool for Program Dynamic Analysis in Java

Huajie, Chen, Tian, Zhang, Lei, Bu, Xuandong, Li

Рік:

2011

Мова:

english

Файл:

PDF, 1.06 MB

english, 2011

[IEEE 2009 IEEE 17th International Conference on Program Comprehension (ICPC) - Vancouver, BC, Canada (2009.05.17-2009.05.19)] 2009 IEEE 17th International Conference on Program Comprehension - Design pattern directed clustering for understanding open source code

Han, Zhixiong, Wang, Linzhang, Yu, Liqian, Chen, Xin, Zhao, Jianhua, Li, Xuandong

Рік:

2009

Мова:

english

Файл:

PDF, 640 KB

english, 2009